1. Automated deduction in geometry:

کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)

موضوع : Geometry - Data processing - Congresses,Automatic theorem proving - Congresses,Logic, Symbolic and mathematical - Congresses

رده :
QA448
.
D38I577
1997

2. Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Data processing -- Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
1360